Fe b 19 92 Gröbner Bases and Extension of Scalars

نویسندگان

  • André Galligo
  • Mike Stillman
چکیده

Let A be a Noetherian commutative ring with identity, let A[x] = A[x1, . . . , xn] be a polynomial ring over A, and let I ⊂ A[x] be an ideal. Geometrically, I defines a family of schemes over the base scheme SpecA; the fiber over each point p ∈ SpecA is a subscheme of the affine space Ank(p) = Speck(p)[x], where k(p) = Ap/pp is the residue field of p. Let > be a total order on the monomials of A[x] satisfying x > x ⇒ xx > xx , and satisfying xi > 1 for each i. For f ∈ A[x], define in(f) to be the initial (greatest) term cx of f with respect to the order >, where c ∈ A is nonzero. For I ⊂ A[x], define the initial ideal in(I) to be the ideal (in(f) | f ∈ I) generated by all initial terms of elements of I. in(I) ⊂ A[x] is generated by single terms of the form cx ; we call such an ideal a monomial ideal. {f1, . . . , fr} ⊂ I is a Gröbner basis for I if and only if {in(f1), . . . , in(fr)} generates in(I). For an ideal I in a ring of formal power series A[[x]], Hironaka defined the corresponding notion (the standard basis of I) and proved a generalized Weierstrass division theorem.The relation between flatness and division was considered in [HLT 73] and later in [Gal 79] in order to obtain a presentation

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Gröbner-Shirshov bases for extensions of algebras

An algebra R is called an extension of the algebra M by B if M = 0, M is an ideal of R and R/M ∼= B as algebras. In this paper, by using the Gröbner-Shirshov bases, we characterize completely the extensions of M by B. An algorithm to find the conditions of an algebra A to be an extension of M by B is obtained.

متن کامل

1786 - 0091 Gröbner Bases of Modules over Σ − Pbw Extensions

For σ−PWB extensions, we extend to modules the theory of Gröbner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative σ − PWB extension, we compute the module of syzygies of a submodule of the free module A.

متن کامل

Non-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions

Commutative Gröbner Bases are a well established technique with many applications, including polynomial solving and constructive approaches to commutative algebra and algebraic geometry. Noncommutative Gröbner Bases are a focus of much recent research activity. For example, combining invariant theory and elimination theory, or elimination in moving frames of partial differential operators invar...

متن کامل

A Gröbner Basis Proof of the Flat Extension Theorem for Moment Matrices

Curto and Fialkow proved in 1996 that flat positive semidefinite moment matrices always come from a finitely atomic positive measure. The tedious part of the proof is to show that flat moment matrices have always a flat extension. We give a new short argument for this based on Gröbner bases. Résumé. Curto et Fialkow ont démontré en 1996 que les matrices des moments, plates et semidéfinies posit...

متن کامل

Computation of Unirational Fields

One of the main contributions which Volker Weispfenning made to mathematics is related to Gröbner bases theory. In this paper we present an algorithm for computing all algebraic intermediate subfields in a separably generated unirational field extension (which in particular includes the zero characteristic case). One of the main tools is Gröbner bases theory. Our algorithm also requires computi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991